H ? « ‹ ← → › »

Language peer sets for SICStus Prolog:
Sweden↑
Sweden/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Genus Horn clause ↑
String and List Processing ↑
Horn clause↑
Context-based ↑
Data representation ↑
Horn clause/1987↑
Context-based /1987↑
Data representation/1987↑
Horn clause/Sweden↑
Context-based /Sweden↑
Data representation/Sweden↑
String and List Processing ↑
String and List Processing/1987↑
String and List Processing/se ↑

SICStus Prolog(ID:2499/sic004)

Swedish Inst Comp Sci Prolog  

alternate simple view
Country: Sweden
Designed 1987
Genus: Horn clause
Sammet category: String and List Processing

Prolog as implemented at the Swedish Inst Comp Sci (hence SICStus)

"SICStus Prolog is owned and maintained by the Swedish Institute of Computer Science. Parts of the system were developed by the project "Industrialization of SICStus Prolog" in collaboration with Ericsson Telecom AB, NobelTech Systems AB, Infologics AB and Televerket.

SICStus Prolog follows the mainstream Prolog tradition in terms of syntax and built-in predicates. As of release 3.8, SICStus Prolog provides two execution modes: the iso mode, which is fully compliant with the International Standard ISO/IEC 13211-1 (PROLOG: Part 1--General Core); and the sicstus mode, which is largely compatible with, e.g., C-Prolog and Quintus Prolog, supports code written in earlier versions of SICStus Prolog." (from FAQ)
Related languages
Prolog → SICStus Prolog   Implementation
SICStus Prolog → extended Tempura   Built on
SICStus Prolog → FT   Based on
SICStus Prolog → Janus   Based on
SICStus Prolog → Muse   Evolution of
References:
  • Mats Carlsson. (1990) Mats Carlsson. Design and Implementation of an OR-Parallel Prolog Engine. SICS Dissertation Series 02, The Royal Institute of Technology, Stockholm, Stockholm, Sweden, May 1990.
  • Boortz, Kent SICStus maskinkodskompilering. (1991) Boortz, Kent SICStus maskinkodskompilering. SICS Technical Report T91:13, Swedish Institute of Computer Science, August 1991. In Swedish
  • Hagner, Nils and Anders Tunevi. (1991) Hagner, Nils and Anders Tunevi. Implementing case-based reasoning in SICStus Prolog. SICS Research Report T91:16, Swedish Institute of Computer Science, 1991
  • Hagner, Nils and Ingvar Olsson. (1991) Hagner, Nils and Ingvar Olsson. Aspects and experiences of MIS and SICStus Prolog. SICS Technical Report T91:10, Swedish Istitute of Computer Science, 1991
  • Mats Carlsson. (1991) Mats Carlsson. The SICStus emulator. SICS Technical Report T91:15, Swedish Institute of Computer Science, 1991
  • Sahlin, Dan (1991) Sahlin, Dan "Determinacy analysis for full Prolog"
          in ACM/IFIP Symposium on Partial Evaluation and Seman (1991) ACM/IFIP Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM Press, 1991.
  • Sahlin,.Dan An Automatic Partial Evaluator for Fu (1991) Sahlin,.Dan An Automatic Partial Evaluator for Full Prolog. SICS Dissertation Series 04, The Royal Institute of Technology (KTH), Stockholm, Sweden, May 1991.
          in ACM/IFIP Symposium on Partial Evaluation and Seman (1991) ACM/IFIP Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM Press, 1991.
  • Stefan Andersson. (1991) Stefan Andersson. Implementing a module system for SICStus Prolog. SICS Technical Report T91:08, Swedish Institute of Computer Science, 1991
          in ACM/IFIP Symposium on Partial Evaluation and Seman (1991) ACM/IFIP Symposium on Partial Evaluation and Semantics Based Program Manipulation. ACM Press, 1991.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder